Scheme theory - PDFSEARCH.IO - Document Search Engine

Scheme theory
Results: 835

#	Item
231	Large Scheme: A Personal View John Cowan <> Scheme 2014 Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-11-30 14:57:41 Scheme Comparison of programming languages Functional languages Gauche Lisp programming language Scheme programming language Owl Lisp ALGOL 68 Chicken Software engineering Programming language theory Computing
232	Implementation of the Reduced Order Information Filter ROIF Data Assimilation Scheme in HYCOM An Update on Tuning Experiments in Progress & Computational Performance Add to Reading List Source URL: hycom.org Language: English - Date: 2009-05-23 18:47:30 Cybernetics Systems theory Linear filters Bayesian statistics Signal processing Data assimilation Kalman filter Information filter Matrix Statistics Estimation theory Control theory
233	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Compilation of extended recursion in call-by-value functional languages Tom Hirschowitz · Xavier Leroy · J. B. Wells Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-12-15 04:49:16 Computability theory Recursion Theoretical computer science Models of computation Formal methods Lambda calculus Standard ML Free variables and bound variables Scheme Software engineering Computing Mathematics
234	Rapid Case Dispatch in Scheme William D Clinger Northeastern University Abstract Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:12 Procedural programming languages Compiler construction Lisp programming language Cross-platform software Functional languages Scheme Lisp Compiler ALGOL 68 Software engineering Computing Programming language theory
235	NORGES TEKNISK-NATURVITENSKAPELIGE UNIVERSITET expint — A matlab1 package for exponential integrators by Håvard Berland, Bård Skaflestad and Will Wright Add to Reading List Source URL: www.pvv.ntnu.no Language: English - Date: 2005-06-07 10:18:55 Runge–Kutta methods Exponentials Scheme theory Numerical methods for ordinary differential equations Euler method Matrix exponential MATLAB Integrator Exponential function Mathematics Numerical analysis Mathematical analysis
236	Syntactic Characterizations of Polynomial Time Optimization Classes Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-07-07 17:48:07 Computational problems Computational complexity theory Operations research Optimization problem Mathematical optimization Approximation algorithm NP Decision problem Polynomial-time approximation scheme Theoretical computer science Applied mathematics Complexity classes
237	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) The Design and Implementation of Typed Scheme: From Scripts to Programs? Sam Tobin-Hochstadt · Matthias Felleisen Add to Reading List Source URL: samth.github.io Language: English - Date: 2015-04-01 12:20:12 Type theory Functional languages Lambda calculus Data types Lisp programming language Racket System F Type system Typed lambda calculus Software engineering Programming language theory Computing
238	ISLAMIC REPUBLIC OF AFGHANISTAN MINISTRY OF Energy & Water Project Coordination Unit Rehabilitation Works for SafidKharIrrigation Scheme-(Q156) Irrigation Restoration and Development Project NATIONAL COMPETITIVE BIDDING Add to Reading List Source URL: www.ards.gov.af Language: English - Date: 2015-05-09 00:45:23 Auction theory Manufacturing Procurement Purchasing Systems engineering Bidding First-price sealed-bid auction Business Auctioneering Commerce
239	A Blind Signature Scheme over Braid Groups Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2009-12-11 07:11:22 Group theory Knot theory Braid group Parity of a permutation Digital signature Model theory Structure Blind signature Abstract algebra Cryptography Mathematics
240	17 AprilMay 2009 Carbon Markets Section c/o Alan Hopkins Emissions Trading Division Add to Reading List Source URL: www.esaa.com.au Language: English - Date: 2010-07-11 21:54:32 Environment Climate change in Australia Carbon Pollution Reduction Scheme Auction theory Carbon finance Auction Electricity market European Union Emission Trading Scheme Climate change policy Emissions trading Climate change

UPDATE